5.2.1 Defining square root of a natural number and recognizing its notation